Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
291	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
292	Computation of Substring Probabilities in Stochastic Grammars Ana L. N. Fred Instituto de Telecomunicac~oes Instituto Superior Tecnico IST-Torre Norte, Av. Rovisco Pais, Lisboa, Portugal Add to Reading List Source URL: www.lx.it.pt Language: English - Date: 2010-07-24 14:01:22 Mathematics Computing Formal languages Law of total probability Context-free grammar
293	Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-03-13 12:13:02 Mathematical logic Formal methods Automated theorem proving Logical syntax Formal languages Mathematical proof Formal proof Theorem Proof Logic Mathematics Proof theory
294	libclang: Thinking Beyond the Compiler Monday, November 29, 2010 Add to Reading List Source URL: www.llvm.org Language: English - Date: 2010-11-29 13:28:06 Cross-platform software Programming language implementation Formal languages Parsing Clang Syntax C Abstract syntax tree Software Computing Compiler construction
295	Developing multi-level grammars in a framework of information compression by multiple alignment, unification and search Gerry Wolff CognitionResearch.org.uk Menai Bridge, UK. Add to Reading List Source URL: www.cognitionresearch.org Language: English - Date: 2012-01-09 18:06:09 Grammar Context-free grammar Formal grammar LL parser Regular expression Pattern Pattern theory Controlled grammar Formal languages Combinatorics Software engineering
296	Correct Software Synthesis for Stable Speed-Controlled Robotic Walking Neil Dantam∗ , Ayonga Hereid† , Aaron Ames† , and Mike Stilman∗ ∗ Center for Robotics and Intelligent Machines, Georgia Institute of Techn Add to Reading List Source URL: www.bipedalrobotics.com Language: English - Date: 2013-09-11 12:34:33 Applied mathematics LR parser LL parser Formal grammar Humanoid robot Context-free grammar Robotics Walking Robot locomotion Formal languages Theoretical computer science Software engineering
297	Vivado Design Suite Advanced XDC and Static Timing Analysis for ISE Software Users FPGA 2 VIVA11000-ILT (v1.0) Add to Reading List Source URL: www.xilinx.com Language: English - Date: 2014-06-17 12:40:57 Xilinx ISE Formal methods Field-programmable gate array Hardware description languages Xilinx Timing closure Static timing analysis Application-specific integrated circuit Design closure Electronic engineering Electronic design automation Electronics
298	Introduction 0-1 Law for Bernays-Sch¨ onfinkel Negative Results Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-04-18 18:43:59 Mathematics Metalogic Formal languages First-order logic Predicate logic Boolean satisfiability problem Well-formed formula Satisfiability Second-order logic Logic Mathematical logic Model theory
299	JEWELS OF STRINGOLOGY Maxime Cro hemore, Woj ie h Rytter Add to Reading List Source URL: monge.univ-mlv.fr Language: English - Date: 2009-07-11 11:28:07 String matching algorithms Formal languages Pattern matching String Grep Algorithm Regular expression Rabin–Karp algorithm AWK Computing Software Unix
300	Path Logics for Querying Graphs: Combining Expressiveness and Efficiency Diego Figueira Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2015-05-10 13:54:11 Mathematics Applied mathematics FO Computational complexity theory Regular language Valuation Automata theory Formal languages Theoretical computer science

UPDATE